#include<bits/stdc++.h>
#define XH(i,a,b) for(int i=a;i<b;++i)
#define XXH(i,a,b) for(int i=a-1;i>=b;--i)
#define LL long long
using namespace std;
int tmpINT; string tmpSTRING; char tmpCHAR; double tmpDOUBLE; LL tmpLONGLONG;

int main(){
	int T;scanf("%d", &T);
	int income[7];
	income[0] = 3500;
	income[1] = income[0] + 1500*97/100; 
	income[2] = income[1] + 3000*9/10; 
	income[3] = income[2] + 4500*8/10;
	income[4] = income[3] + 26000*75/100;
	income[5] = income[4] + 20000*7/10;
	income[6] = income[5] + 25000*65/100;
	int origin[7],rate[8];
	origin[0] = 3500;
	origin[1] = 5000;
	origin[2] = 8000;
	origin[3] = 12500;
	origin[4] = 38500;
	origin[5] = 58500;
	origin[6] = 83500;
	rate[0] = 0;
	rate[1] = 3;
	rate[2] = 10;
	rate[3] = 20;
	rate[4] = 25; 
	rate[5] = 30;
	rate[6] = 35;
	rate[7] = 45;
	int index = -1;
	XH(i , 0 , 7){
		if(T<income[i]){
			index = i;
			break;
		}
	}
	// printf("index = %d\n", index);
	int S;
	if(index == -1){
		S = origin[6] + (T - income[6])*100/(100-rate[7]);
	}else if(index == 0){
		S = T;
	}
	else{
		S = origin[index-1];
		tmpINT = T-income[index-1];
		S+=tmpINT/(100-rate[index])*100;	
	}
	printf("%d\n", S);
	
	return 0;
}